The Hadwiger transversal theorem for pseudolines

We generalize the Hadwiger theorem on line transversals to collections of compact convex sets in the plane to the case where the sets are connected and the transversals form an arrangement of pseudolines. The proof uses the embeddability of pseudoline arrangements in topological affine planes. In 1940 Santaló showed [8], by an example, that Vincensini’s proof [9] of an extension of Helly’s theorem was incorrect. Vincensini claimed to have proven that for any finite collection S of at least three compact convex sets in the plane, any three of which were met by a line, there must exist a line meeting all the sets. This would have constituted an extension of the planar Helly theorem [6], which showed that the same assertion holds if “line” is replaced by “point.” The Santaló example was later extended by Hadwiger and Debrunner [5] to show that even if the convex sets are disjoint the conclusion still may not hold. In 1957, however, Hadwiger showed that the conclusion of the theorem is valid if the hypothesis is strengthened by imposing a consistency condition on the order in which the triples of sets are met by transversals: Theorem (Hadwiger [4]). If B1, . . . ,Bn is a family of disjoint compact convex sets in the plane with the property that for any 1 ≤ i < j < k ≤ n there is a line meeting each of Bi,B j,Bk in that order, then there is a line meeting all the sets Bi.